include protocol cyclecheck_Child;
include protocol cyclecheck_Parent;

protocol cyclecheck_Grandchild {
    manager cyclecheck_Child;
    manages cyclecheck_Parent;

child:
    cyclecheck_Parent();
    async __delete__();
};

